This paper addresses the interdependence among problem solving, cognition, and program development. The goal is to present a coherent and complete theoretical model which can serve as a basis for program development ...